-
1 теорема о дедукции
-
2 теорема о дедукции
Mathematics: deduction theoremУниверсальный русско-английский словарь > теорема о дедукции
-
3 теорема о дедукции
Русско-английский математический словарь > теорема о дедукции
-
4 теорема о дедукции
deduction theorem мат.Русско-английский научно-технический словарь Масловского > теорема о дедукции
-
5 теорема о дедукции
-
6 теорема
1) proposition
2) theorem
– дополнительная теорема
– обратная теорема
– подготовительная теорема
– теорема Арцела
– теорема баше
– теорема безу
– теорема Ван Циттерта-Цернике
– теорема Винера-Пели
– теорема вложения
– теорема двойственности
– теорема дуальности
– теорема единственности
– теорема запаздывания
– теорема искажения
– теорема Карунена-Лоэве
– теорема компенсации
– теорема кондуктора
– теорема косинусов
– теорема локализации
– теорема Надя-Фаяша
– теорема Никодима
– теорема о дедукции
– теорема о лакунах
– теорема о минимаксе
– теорема о среднем
– теорема о сшивке
– теорема обращения
– теорема однозначности
– теорема отсчетов
– теорема переноса
– теорема подобия
– теорема равновероятности
– теорема разложения
– теорема синусов
– теорема склеивания
– теорема существования
– теорема умножения
гомотопическая теорема сложения — homotopy addition theorem
основная теорема алгебры — fundamental theorem of algebra
последняя теорема Ферма — Fermat's last theorem
теорема живых сил — work-kinetic energy theorem
теорема Коши о вычетах — Cauchy residue theorem
теорема о высоте в прямоугольных треугольниках — altitude theorem
теорема о неявных функциях — implicit function theorem
теорема о центральном пределе — central limit theorem
теорема об активном двухполюснике — Theveni's theorem
теорема обратимости течений — reverse-flow theorem
теорема отсчетов Шеннона-Котельникова — <math.> Nyquist-Kotelnikov-Shannon sampling theorem
теорема предельная центральная — central limit theorem
теорема сильвестра о нуль-многообразиях — Sylvester's law of unity
теорема соответственных состояний — theorem of corresponding states
Ферма великая теорема — Fermat's last theorem
-
7 теорема дедукции
Mathematics: deduction theorem -
8 дедукция
-
9 гипотетическая дедукция
См. также в других словарях:
ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… … Философская энциклопедия
ТЕОРЕМА — (от греч. theoreo – рассматриваю) научное положение. Философский энциклопедический словарь. 2010. ТЕОРЕМА (греч. ϑεώρημα, от ϑεωρέω – рассматриваю, исследу … Философская энциклопедия
ДЕДУКЦИИ ТЕОРЕМА — ДЕДУКЦИИ ТЕОРЕМА метатеоретическое утверждение о формальной логической теории (исчислении) Т, в соответствии с которым существование в исчислении Т вывода логического формулы В из называемых гипотезами формул Ai, Ai, ..., А„ (символически: Αι … Философская энциклопедия
ТЕОРЕМА ДЕДУКЦИИ — ТЕОРЕМА ДЕДУКЦИИ см. Дедукции теорема. Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 … Философская энциклопедия
дедукции теорема — ДЕДУКЦИИ ТЕОРЕМА (от лат. deductio выведение) утверждение о свойствах логической теории. Д. т. гласит: «Если имеется вывод Г, А ( В, то имеется также и вывод Г J А > В, где > знак импликации, Г произвольное (возможно пустое)… … Энциклопедия эпистемологии и философии науки
СИНТАКСИЧЕСКАЯ ТЕОРЕМА — теорема синтаксического языка, т. е. теорема о формализованной теории. Примеры С. т.: теорема дедукции для исчисления предикатов, теорема Гёделя о неполноте арифметики. Эти теоремы относятся к элементарному синтаксису. Примером неэлементарной С.… … Математическая энциклопедия
ДЕДУКЦИИ ТЕОРЕМА — общее название ряда теорем, позволяющих устанавливать доказуемость импликации в случае, когда дан логический вывод формулы Виз формулы А. В простейшем случае классического, интуиционистского и т. п. исчислений высказываний Д. т. утверждает: если… … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
Метатеорема — (от Мета... теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой либо научной теории (т. н. предметной, или объектной, теории), доказываемая средствами метатеории (См. Метатеория)… … Большая советская энциклопедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия